Syntactic Characterizations of Properties of Classifying Toposes

نویسنده

  • OLIVIA CARAMELLO
چکیده

We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (respectively connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish various results on quotients of theories of presheaf type.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arithmetic universes and classifying toposes

The paper uses structures in Con, the author’s 2-category of sketches for arithmetic universes (AUs), to provide constructive, base-independent results for Grothendieck toposes (bounded S-toposes) as generalized spaces. The main result is to show how an extension map U : T1 → T0 can be viewed as a bundle, transforming base points (models of T0 in any elementary topos S with nno) to fibres (gene...

متن کامل

Yoneda Representations of Flat Functors and Classifying Toposes

We obtain semantic characterizations, holding for any Grothendieck site (C, J), for the models of a theory classified by a topos of the form Sh(C, J) in terms of the models of a theory classified by a topos [C,Set]. These characterizations arise from an appropriate representation of flat functors into Grothendieck toposes based on an application of the Yoneda Lemma in conjunction with ideas fro...

متن کامل

Molecular Toposes*

In [2], Barr and Diaconescu characterized those Grothendieck toposes 8 for which the inverse image, A, of the geometric morphism r: 8 + Yet, is logical. It was shown (among other things) that this happens precisely when the lattice of subobjects of every object of 8 is a complete atomic boolean algebra. Toposes satisfying this property are called atomic. These results were relativised to the ca...

متن کامل

Lower Bagdomain as a Glueing

One of the important tools for working with the classifying toposes is Diaconescu's theorem, describing geometric morphisms to the topos of presheaves on a small category C in terms of at functors on C. In 4], this theorem is generalized from discrete categories to topological categories, with the additional requirement that the map assigning to an arrow its source is etale (a local homeomorphi...

متن کامل

Homotopy types for “gros” toposes

Introduction In this thesis we are investigating possibility of assigning homotopical invariants to toposes in an alternative way. The 2-category of (Grothendieck) toposes, geometric morphisms and their natural transformations (which we will denote by Top) has been used by many authors to model homotopy types particularly efficiently. Thus for example a topological space X can be represented in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012